modal logic
[ˈməʊdl ˈlɔdʒik]
un. 模态逻辑 [网络] 情态逻辑；模型逻辑；模太逻辑
un. 模态逻辑 [网络] 情态逻辑；模型逻辑；模太逻辑
热门查询
- engorgement n. [病理] 充血；暴饮暴食；肿胀
- soldiering n. 当兵 v. 从军；装病（soldier的ing形式）
- microcosm n. 微观世界；小宇宙；作为宇宙缩影的人类；缩图（等于microcosmos）
- pullen [人名] [英格兰人姓氏] 普伦职业名称，养马人或绰号，活泼的人来源于古法语，含义是“小公马”(colt)
- blubber n. 鲸脂；哭泣 vi. 又哭又闹 vt. 又哭又闹 adj. 肿大的
- immaturity n. 未成熟；粗糙；未臻完美；不完全
- naivete n. 天真；质朴；纯真无邪；天真烂漫
- emaciation n. 消瘦，瘦弱；憔悴
- penne n. 通心粉；管形面点，管状面 n. (Penne)人名；(意)彭内
- cobb n. 科布（姓氏）；酷伯传奇（电影名）
- boner n. 大错；愚蠢的错误 n. (Boner)人名；(塞、法)博内尔；(英、德)博纳
- britt n. 小鲱鱼，海中微生物
- Hama 哈马[叙利亚西部城市]
- weighting n. 加重，加权；衡量；（英）生活补贴 v. 加权；称量（weight的现在分词）
- Laski n. [姓氏] 拉斯基(英国资产阶级政治家, 著述家, 1893-1950)
- symbolically adv. 象征性地；象征意义地
- toughened adj. 坚韧的 v. 变坚韧；变顽强；变困难（toughen的过去分词）
- olga n. 奥尔加（女子名）
- jazzman n. 爵士音乐家
- bankrupt n. [经] 破产者 adj. 破产的 vt. 使破产
